Sound gradual typing is nominally alive and well

The impact bias is alive and well.

A substantial body of research on affective forecasting has found that people often overestimate the affective impact of future events. Levine, Lench, Kaplan, and Safer (2012) argued that whereas people may overestimate the duration of their emotional responses, they do not overestimate the initial intensity of these responses as much as previous research has suggested. We suggest that Levine e...

The Yentl syndrome is alive and well.

More women than men die annually from ischaemic heart disease (IHD) in the developed world. This represents a reversal of fortune from previous decades and places women firmly as the new majority now impacted. Notably, the adverse IHD gender gap is the widest in relatively young women, where myocardial infarction (MI) mortality is 2-fold higher in women under 50 years compared with age-matched ...

Authority Control is Alive and ... Well ? Richard

Linnaeus: alive and well

C arl Linné, more widely known as Carolus Linnaeus, died in 1778 but his spirit lives on in the many classification systems he developed, as well as in a more recent Swedish innovation, the Linnaeus Database (1), a major contributor to an understanding of ageing from a life course perspective. Linnaeus is widely regarded as the founder of modern taxonomy, responsible (in 1735) for introducing t...

Efficient Gradual Typing

Gradual typing combines static and dynamic typing in the same program. One would hope that the performance in a gradually typed language would range between that of a dynamically typed language and a statically typed language. Existing implementations of gradually typed languages have not achieved this goal due to overheads associated with runtime casts. Takikawa et al. (2016) report up to 100×...